TSTP Solution File: NUM638^4 by Nitpick---2016